| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Control Systems | Advanced Control Systems | Fach-/Modulprüfung | 4 | 478441 | ||
| Advanced Software Engineering | Advanced Software Engineering | Fach-/Modulprüfung | 5 | 476183 | ||
| Automation Technology for Production Systems | Automatisierungstechnik für Produktionssysteme | Fach-/Modulprüfung | 6 | 475954 | ||
| Data Communication and Security | Datenkommunikation | Fach-/Modulprüfung | 6 | 477580 | ||
| Data Mining within Technical Processes | Data-Mining im Umfeld technischer Prozesse | Fach-/Modulprüfung | 3 | 475390 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 477928 | ||
| Introduction to Model Checking | Übung | 474235 | Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Introduction to Model Checking | Vorlesung | 474525 | Mo 12:00-14:00 5055 (2356|055) (×1) Mo 16:30-18:00 AH II (2350|111) (×10) Di 18:30-20:00 AH III (2350|314.1) (×12) Do 09:50-15:00 5052 (2356|052) (×1) |